Demote instruction for relinquishing cache line ownership

ABSTRACT

A computer system microprocessor core having a cache subsystem executes a demote instruction to cause an exclusively owned demote instruction specified cache line owned by the same microprocessor core to be shared or read-only.

TRADEMARKS

IBM® is a registered trademark of International Business Machines Corporation, Armonk, N.Y., U.S.A. Other names used herein may be registered trademarks, trademarks or product names of International Business Machines Corporation or other companies.

BACKGROUND OF THE INVENTION

1. Field of the Invention

This invention relates to computer systems and in particular to systems with cache subsystems wherein demote requests are performed by the cache subsystem and which allows software to indicate to hardware that it should alter its cache state.

2. Description of Background

In a multiprocessing system where consistent memory usage model is required, memory usage among different processors is managed using cache coherency ownership schemes. These schemes usually involve various ownership states for a cache line. These states include read-only (or commonly known as shared), and exclusive (where a certain processor has the sole and explicit update rights to the cache line, sometimes known as store access).

For one such protocol used for a strongly-ordered memory consistency model, as in IBM's z/Architecture implemented by IBM System z processors, when a processor is requesting rights to update a line, e.g. when it is executing a “Store” instruction, it will check its local cache (L1) for the line's ownership state. If the processor finds out that the line is either currently shared or is not in its cache at all, it will then send an “exclusive ownership request” to the storage controller (SC) which serves as a central coherency manager.

The storage controller (SC) tracks which processor, if any, currently owns a line exclusively. If deemed necessary, the storage controller (SC) will then send a “cross interrogate” (XI) or “ownership change” request to another processor which currently owns that line to release its exclusive rights. Once the current owning processor has responded to the XI and responded that the exclusive ownership is released, the requesting processor will then be given exclusive update rights to the line requested.

In a large SMP (Symmetric Multi-Processing) system, it is common that various processes running on different processors update the same cache lines, but at different times. When a line is updated by one process, and then another process starts up, updating the same line by that other process will encounter delays required for XI acknowledgement while exchanging exclusive ownerships from one processor to another. These delays amount to a large performance degradation as number of processes goes up that reuse the same cache lines.

SUMMARY OF THE INVENTION

The shortcomings of the prior art are overcome and additional advantages are provided through the provision of a new instruction or instruction variation that allows software to indicate to hardware that its storage modification to a particular cache line is done, and will not be doing any modification for the time being

This invention, which allows software to indicate to hardware that its storage modification to a particular cache line is done and will not be doing any modification for the time being, allows the system to alter its cache state. With this indication, the processor can then actively release its exclusive ownership by updating its line ownership from exclusive to read-only (or shared) in its own cache directory and in the storage controller (SC). By actively giving up its exclusive rights, the first processor allows another processor to immediately be given exclusive ownership to that cache line without waiting on any processor's explicit cross invalidate acknowledgement. This invention provides a hardware design needed to provide this support.

After receiving such indication, a microprocessor can actively relinquish its exclusive ownership to a cache line, and preemptively update the ownership status in the storage controller to “shared”, thus removing delays due to XIs that would have otherwise been encountered by another processor should that processor request an exclusive ownership to the cache line.

The actual microprocessor implementation involves processing the instruction, and a new interface to communicate the “demote” request to the storage controller. It is also important to provide necessary interlock to prevent a premature launch of the “demote” request. For use in a microprocessor design with a direct connection to the storage controller, all prior committed storage update must be done prior to the actual demote status update in both directories of the requesting processor and storage, but not necessarily before a demote request is launched. For use in a microprocessor design with a private L2, an alternative design is described to ensure all prior committed storage updates are sent and are received in the storage controller before the “demote” request is sent.

System and computer program products corresponding to the above-summarized methods are also described and claimed herein.

Additional features and advantages are realized through the techniques of the present invention. Other embodiments and aspects of the invention are described in detail herein and are considered a part of the claimed invention. For a better understanding of the invention with advantages and features, refer to the description and to the drawings.

TECHNICAL EFFECTS

As a result of the summarized invention, technically we have achieved a solution which reduces the overhead of cache line sharing by multiple processes across a large SMP system that contains writeable data. The overall system wide performance can then be improved.

BRIEF DESCRIPTION OF THE DRAWINGS

The subject matter which is regarded as the invention is particularly pointed out and distinctly claimed in the claims at the conclusion of the specification. The foregoing and other objects, features, and advantages of the invention are apparent from the following detailed description taken in conjunction with the accompanying drawings in which:

FIG. 1 illustrates an initial state X where processor CPy owns line A exclusively;

FIG. 2 illustrates what happens when processor CPx needs line A exclusively after an initial state X;

FIG. 3 illustrates CPy executes a demote to line A after an initial state X;

FIG. 4 illustrates what happens when processor CPx needs line A exclusively after the demote process;

FIG. 5 illustrates a demote process for a different system design having private L2 cache;

FIG. 6 illustrates a typical processor that is executing the demote instruction.

The detailed description explains the preferred embodiments of the invention, together with advantages and features, by way of example with reference to the drawings.

DETAILED DESCRIPTION OF THE INVENTION

To allow software to indicate to the hardware a cache line is no longer required for further storage update, an instruction can be provided, with a way to indicate the logical address, as suited to a specific architecture. This is done with a new opcode or a new variation of an existing cache management instruction using unused fields or code-points. Specific instructions which implement this invention are expected to be used in device drivers, operating system code or any application that uses common parameter blocks or semaphore blocks.

The intention of this provision is that the software code will treat this as a “done with store to this line” instruction, now simply called “demote instruction”, at the end of its last storage updating instruction. It should be used for lines that contain highly utilized data across various processes that are executing in different processors and most likely at different times.

One typical software example may be on the management of a cache line that contains various semaphore locks needed for multiprocessor handling. The effect of the software using this provision will be to obtain or release a software lock managed in a cache line, and then demote the line actively. By releasing the line actively, other processes can proceed more quickly to either obtain or release the same lock or other locks managed within the same cache line.

An important thing is that the software application knows that this is the last point of update until some period of time later. If the software requires an update to the line soon after a “demote”, it would instead be bad for performance, since then the processor will take time to regain the exclusive rights.

Let's describe how this instruction is implemented in computer system with a cache hierarchy as illustrated in FIG. 1. This figure, and subsequent FIGS. 2-5, illustrates a bi-nodal system where the Storage Controller (SC) is made up of 2 different physical node controllers SC0 101 and SC1 102, each having 3 processors 103-105 or 106-108 attached.

FIG. 1 indicates a typical initial state where processor 103 (CPy) already owns the exclusive rights to a cache line A. FIG. 2 illustrates that when processor 107 (CPx) requests to have exclusive rights to same cache line A, (e.g. when it is executing a “Store” instruction and needs store access) while processing a storage update instruction, the wait on getting a confirmation on the cross interrogate (XI) from the current owning processor 103 (CPy) delays this requesting processor 107 (CPx) from being able to start any storage update to the line A. The steps 1-10 are shown in FIG. 2.

With the provision of a “demote” instruction, instead of having to take up the delay on the XI acknowledgement, the SCs 101 or 102 would have already updated its directory to show that no processor is currently owning the line exclusively, and thus can return the line A exclusively to processor 107 CPx when processor 107 CPx requests for it in a very timely manner. This is shown in FIGS. 3 and 4.

In FIG. 3, when the application running on processor 103 CPy decides to “demote” the cache line, processor 103 CPy will send a request to SC0 101 to demote line A (1). (There will be a decoding and execution of a program instruction calling for such a demotion) Once the demote request is received, the SC0 101 will process the request as if a “non-existing” processor is requesting line A exclusively. It will start up the lookup in its directory, send a cross interrogate to processor 103 CPy to request a release on exclusive rights (2). If processor 103 CPy still have storage update to that line pending in its pipeline, it can reject the cross interrogate. The SC0 101 will in turn repeat the cross interrogate until pending stores in processor 103 CPy are drained. When there is no pending stores for line A existing in processor 103 CPy, processor 103 CPy at this time should naturally be accepting the release request. Processor 103 CPy will update its directory with no more exclusive rights and send back an acknowledgement to SC0 101 (3). Once the acknowledgement is received, the SC0 101 will update its directory update to indicate that line A is now exclusive to “no one” (4). The software demote process is thus accomplished. This state of exclusive to no one is equivalent to a shared (or read-only) state with respect to how if affect exclusive XI activities concerning this line.

Now, as seen in FIG. 4, if another processor 107 CPx requests line A exclusively (1), the SC1 102 can quickly request the line exclusively from SC0 101 (2-4), and then reply to the requesting processor 107 CPx with an exclusive response (5-6) without acquiring any delay for cross interrogation towards processor 103 CPy. This reduction of delay could be even more apparent in a system if the Storage Controllers for nodes 101, 102 are on a different chip(s) than the processors, where the cross-chip communication is now removed.

To further describe a variant implementation of this demote instruction, we will illustrate with a system where there is one private Level 2 cache (L2) per processor. This is shown in FIG. 5. Each processor 103-108 in this system has a private L2 200.

In this design, when processor 103 CPy sends a demote request to its private L2 200 L2 y (1), the L2 will lookup its directory, and then send a release exclusive cross interrogate back into the processor 103 CPy (2). If the Load Store Unit (LSU) inside the processor 103 CPy still has storage update to that line pending in its pipeline, it can reject the cross interrogate. The L2 200 L2 y will in turn repeat the cross interrogate until pending stores in processor 103 CPy are drained. When there is no pending stores for line A, the LSU inside the processor 103 CPy will process the interrogate request, remove its directory status of exclusive ownership, and acknowledge to L2 200 L2 y that this is done (3).

This private L2 200 L2 y will drain any pending store to this line A, then also update its directory to indicate no exclusive ownership (4), and send a demote request to the SC0 101 (5). Upon receiving the demote request, SC0 101 will update its directory to indicate the line A is now exclusive to “no one” (6). With this illustration, it will be appreciated that this function can be implemented with various systems having a different cache hierarchy or topology than that illustrated. Because these can be implemented by those skilled in the art after learning of this teaching, all their variants are not specifically shown.

FIG. 6 illustrates how such an instruction is processed within a microprocessor core. For this description, only 3 of the key units IDU 301 (Instruction Dispatch Unit), FXU 302 (Fixed Point Unit), and LSU 303 (Load Store Unit) are depicted as part of the microprocessor CP 300.

During hardware execution of this instruction, the microprocessor pipeline will execute this instruction as a one cycle superscalar instruction that performs no architectural updates. All the work is to be performed by the cache subsystem.

For an in-order microprocessor CP 300, when the “demote instruction” is dispatched from the instruction dispatch unit IDU 301, the logical address calculated according to the instruction format and a decode of such instruction indicating a demote operation will be sent from IDU 301 to LSU 303 (arrow 1). In parallel, IDU 301 will send the opcode to FXU 302 (arrow 2) which will complete the instruction if this is the next to complete without waiting for any acknowledgement or doing any architectural update.

LSU 303 will obtain the absolute address used in cache management by either looking up the address translation of the logical address sent from IDU 301 in its translation lookaside buffer (TLB) 310, or obtain a translation result through a dynamic translation process. Once the absolute address is obtained (arrow 4), it will arm the absolute address and a demote command in one of its available Fetch Address Register (FAR) 312. The demote command will be a predefined interface value on the request bus (arrow 6) to the Storage Controller (SC) indicating a “demote” is to be performed.

The LSU's 303 control logic 313 will hold on to the demote request, and wait until all prior instructions complete before it send the demote request and address to the SC (arrow 6). This is done by monitoring pipeline flushing interface from the FXU 302 which controls instruction completion in this example. It is important that the demote request is not sent under an incorrectly predicted branch path, or if any older instruction does not successfully complete due to processor pipeline flushing conditions. Otherwise, an unnecessary performance penalty may be incurred.

In an out of order microprocessor, due to the nature of the design, the actual launch of the demote request from the LSU makes use of a tag. To fit into an out of order design, the demote request sitting in the FAR register is tagged with an instruction ID, and only launched when the global completion logic determines that this instruction ID is being completed.

An alternative design, not specifically shown in FIG. 5 but illustrated thereby, will have the demote request be written into a store queue entry (instead of a FAR register entry) at 312. By doing so, since stores have to be completed and processed in order for machines requiring a strongly-ordered memory model, the store queue logic at 312 will tagged its entries with instruction IDs and receive instruction completion ordering from the global completion logic. The store queue logic can then precisely send the demote request (through the FAR logic) without being premature. Additionally, any pending stores prior to the demote instruction will naturally be drained out of its pipeline before a demote request is sent. This helps in reducing the chance that the LSU needs to reject the demote cross interrogate when sent by the storage controller, or a private L2 if installed.

As illustrated, the present invention can help improve system performance by carefully inserting “demote” instructions in software code, with a hardware provision of such mechanism. It requires thoughtful implementation in software, firmware, together with hardware to be effective.

The flow diagrams depicted herein are just examples. There may be many variations to these diagrams or the steps (or operations) described therein without departing from the spirit of the invention. For instance, the steps may be performed in a differing order, or steps may be added, deleted or modified. All of these variations are considered a part of the claimed invention.

While the preferred embodiment to the invention has been described, it will be understood that those skilled in the art, both now and in the future, may make various improvements and enhancements which fall within the scope of the claims which follow. These claims should be construed to maintain the proper protection for the invention first described. 

What is claimed is:
 1. A method for relinquishing cache ownership of a cache line, the method comprising executing, by a microprocessor core, a demote instruction, the demote instruction specifying a logical address, the executing performing a method comprising: determining whether a cache line of a cache, corresponding to the logical address is exclusively owned by the microprocessor core; and based on determining that the cache line is exclusively owned by the microprocessor core, relinquishing, by the microprocessor core, exclusive ownership of the cache line.
 2. The method according to claim 1, further comprising translating the logical address to a cache address.
 3. The method according to claim 2, wherein the cache address is an absolute address.
 4. The method according to claim 2, wherein execution of the demote instruction performs no architectural update.
 5. The method according to claim 2, wherein, based on executing the demote instruction, the microprocessor core completes all pending stores before relinquishing the exclusive ownership of the cache line.
 6. The method according to claim 2, wherein the microprocessor core is an out-of-order processor.
 7. The method according to claim 1, wherein the relinquishing the exclusive ownership of the cache line comprises setting the ownership of the cache line to any one of shared or read-only.
 8. A system for relinquishing cache ownership of a cache line, the system comprising: a microprocessor core configured to communicate with a cache, the microprocessor configured to perform a method, the method comprising executing, by a microprocessor core, a demote instruction, the demote instruction specifying a logical address, the executing performing a method comprising: determining whether a cache line of a cache, corresponding to the logical address is exclusively owned by the microprocessor core; and based on determining that the cache line is exclusively owned by the microprocessor core, relinquishing, by the microprocessor core, exclusive ownership of the cache line.
 9. The system according to claim 8, further comprising translating the logical address to a cache address.
 10. The system according to claim 9, wherein the cache address is an absolute address.
 11. The system according to claim 9, wherein execution of the demote instruction performs no architectural update.
 12. The system according to claim 9, wherein, based on executing the demote instruction, the microprocessor core completes all pending stores before relinquishing the exclusive ownership of the cache line.
 13. The system according to claim 9, wherein the microprocessor core is an out-of-order processor.
 14. The system according to claim 8, wherein the relinquishing the exclusive ownership of the cache line comprises setting the ownership of the cache line to any one of shared or read-only. 